51![Deciding knowledge in security protocols for monoidal equational theories ⋆ V´eronique Cortier and St´ephanie Delaune LORIA, CNRS & INRIA project Cassis, Nancy, France Abstract. In formal approaches, messages sent o Deciding knowledge in security protocols for monoidal equational theories ⋆ V´eronique Cortier and St´ephanie Delaune LORIA, CNRS & INRIA project Cassis, Nancy, France Abstract. In formal approaches, messages sent o](https://www.pdfsearch.io/img/3fa15c01064c64a5760f0d33a075553e.jpg) | Add to Reading ListSource URL: www.loria.frLanguage: English - Date: 2007-08-10 10:11:21
|
---|
52![Compression of Propositional Resolution Proofs via Partial Regularization? Pascal Fontaine, Stephan Merz, and Bruno Woltzenlogel Paleo University of Nancy and INRIA, Nancy, France {Pascal.Fontaine,Stephan.Merz,Bruno.Wolt Compression of Propositional Resolution Proofs via Partial Regularization? Pascal Fontaine, Stephan Merz, and Bruno Woltzenlogel Paleo University of Nancy and INRIA, Nancy, France {Pascal.Fontaine,Stephan.Merz,Bruno.Wolt](https://www.pdfsearch.io/img/71b9b5e4044c7fe1e634ccccdbf06949.jpg) | Add to Reading ListSource URL: www.montefiore.ulg.ac.beLanguage: English - Date: 2011-07-11 06:39:50
|
---|
53![A method for proving observational equivalence V´eronique Cortier LORIA, CNRS & INRIA Nancy Grand Est France Email: A method for proving observational equivalence V´eronique Cortier LORIA, CNRS & INRIA Nancy Grand Est France Email:](https://www.pdfsearch.io/img/17ce289512e3c8a78c19cb9490f58f6b.jpg) | Add to Reading ListSource URL: www.lsv.ens-cachan.frLanguage: English - Date: 2009-07-06 12:39:09
|
---|
54![Attacking and fixing Helios: An analysis of ballot secrecy V´eronique Cortier1 and Ben Smyth2 1 CNRS, Loria, UMR 7503 FVandœuvre-l´es-Nancy, France Attacking and fixing Helios: An analysis of ballot secrecy V´eronique Cortier1 and Ben Smyth2 1 CNRS, Loria, UMR 7503 FVandœuvre-l´es-Nancy, France](https://www.pdfsearch.io/img/94ac51d9c84732c070dedb8c7aae23d0.jpg) | Add to Reading ListSource URL: www.bensmyth.comLanguage: English - Date: 2013-09-25 07:19:22
|
---|
55![Attacking and fixing Helios: An analysis of ballot secrecy V´eronique Cortier1 and Ben Smyth2 1 CNRS, Loria, UMR 7503 FVandœuvre-l´es-Nancy, France Attacking and fixing Helios: An analysis of ballot secrecy V´eronique Cortier1 and Ben Smyth2 1 CNRS, Loria, UMR 7503 FVandœuvre-l´es-Nancy, France](https://www.pdfsearch.io/img/4efcd88a08ec6b2e89b33f53b292bd87.jpg) | Add to Reading ListSource URL: www.bensmyth.comLanguage: English - Date: 2013-09-25 07:23:58
|
---|
56![Towards an oral interface for data entry: The MAUD System Fohr, J.-P. Haton, J.-F. Mari, K. Smaïli and I. Zitouni CRIN-CNRS/ INRIA Lorraine BP239Vandoeuvre Lès-Nancy France e-mail: {fohr, jph, jfmari,smaili, zit Towards an oral interface for data entry: The MAUD System Fohr, J.-P. Haton, J.-F. Mari, K. Smaïli and I. Zitouni CRIN-CNRS/ INRIA Lorraine BP239Vandoeuvre Lès-Nancy France e-mail: {fohr, jph, jfmari,smaili, zit](https://www.pdfsearch.io/img/1613a66d1abdfd8bfaffedf8ef4aafe1.jpg) | Add to Reading ListSource URL: www.ui4all.grLanguage: English - Date: 2007-11-27 14:03:43
|
---|
57![Decision Procedures for the Formal Analysis of Software Tutorial Overview D. Déharbe, P. Fontaine, Silvio Ranise, C. Ringeissen UFRN (Natal, Brasil) and LORIA & INRIA-Lorraine (Nancy, France) Decision Procedures for the Formal Analysis of Software Tutorial Overview D. Déharbe, P. Fontaine, Silvio Ranise, C. Ringeissen UFRN (Natal, Brasil) and LORIA & INRIA-Lorraine (Nancy, France)](https://www.pdfsearch.io/img/174a7d0f107b4f8db21a405e1f82233d.jpg) | Add to Reading ListSource URL: www.loria.frLanguage: English - Date: 2006-11-18 06:54:08
|
---|
58![Compression of Propositional Resolution Proofs via Partial Regularization? Pascal Fontaine, Stephan Merz, and Bruno Woltzenlogel Paleo University of Nancy and INRIA, Nancy, France {Pascal.Fontaine,Stephan.Merz,Bruno.Wolt Compression of Propositional Resolution Proofs via Partial Regularization? Pascal Fontaine, Stephan Merz, and Bruno Woltzenlogel Paleo University of Nancy and INRIA, Nancy, France {Pascal.Fontaine,Stephan.Merz,Bruno.Wolt](https://www.pdfsearch.io/img/ca1a3f5dca972d99df680d57fe754d31.jpg) | Add to Reading ListSource URL: www.montefiore.ulg.ac.beLanguage: English - Date: 2011-07-11 06:39:50
|
---|
59![SATISFIABILITY SOLVING FOR SOFTWARE VERIFICATION David D´eharbe DIMAp/UFRN (Natal, Brazil) Silvio Ranise INRIA-Lorraine (Nancy, France) SATISFIABILITY SOLVING FOR SOFTWARE VERIFICATION David D´eharbe DIMAp/UFRN (Natal, Brazil) Silvio Ranise INRIA-Lorraine (Nancy, France)](https://www.pdfsearch.io/img/612e4c84447170b5c83c0b3e7cf631bc.jpg) | Add to Reading ListSource URL: www.loria.frLanguage: English - Date: 2006-10-25 08:45:53
|
---|
60![Building, Combining and Integrating Decision Procedures for Software Verification Part: Combining D. Déharbe, P. Fontaine, S. Ranise, C. Ringeissen UFRN Natal (Brasil), LORIA Nancy (France) Building, Combining and Integrating Decision Procedures for Software Verification Part: Combining D. Déharbe, P. Fontaine, S. Ranise, C. Ringeissen UFRN Natal (Brasil), LORIA Nancy (France)](https://www.pdfsearch.io/img/558d1277a6213abfc4e2cfa2bd1cfa0a.jpg) | Add to Reading ListSource URL: www.loria.frLanguage: English - Date: 2006-11-18 06:55:20
|
---|